Tutorial on Formal Methods for Distributed and Cooperative Systems
نویسندگان
چکیده
1 Université Paris 13, LIPN, CNRS UMR 7030 99 avenue Jean-Baptiste Clément, F-93430 Villetaneuse, France {Christine Choppy,Laure.Petrucci}@lipn.univ-paris13.fr 2 Université Paris-Dauphine, LAMSADE, CNRS UMR 7024 place du Maréchal de Lattre de Tassigny, F-75775 Paris Cedex 16 [email protected] 3 Université d’Evry-Val-d’Essone, IBISC, CNRS FRE 2873 523, place des Terrasses de l’Agora, 91000 Evry France [email protected] 4 Université P. & M. Curie, LIP6/MoVe, CNRS UMR 7606 4, place Jussieu, F-75252 Paris Cedex 05, France [email protected], [email protected]
منابع مشابه
An X-window-based Distributed Application for Cooperative Work
The paper presents the design and implementation of a distributed application called OpenBoard Tutorial System (OTS) that supports cooperative work among users of window-based workstations. The application is based on the X window system and the SUN RPC protocol. The paper describes OTS as a system designed for conducting real-time tutorial in a distributed environment by allowing students to s...
متن کاملAutomated Verification Techniques for Probabilistic Systems
This tutorial provides an introduction to probabilistic model checking, a technique for automatically verifying quantitative properties of probabilistic systems. We focus on Markov decision processes (MDPs), which model both stochastic and nondeterministic behaviour. We describe methods to analyse a wide range of their properties, including specifications in the temporal logics PCTL and LTL, pr...
متن کاملDistributed Cooperative Formal Methods Tools
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiot...
متن کاملUsing the B Method for the Formalization of Coordinated Atomic Actions
Coordinated Atomic Actions have been proven successful for building dependable distributed systems due to their support for error recovery for both competitive and cooperative concurrent activities. This chapter introduces the formal specification of Coordinated Atomic Actions emphasizing the formalization of proposed dependability mechanisms using the B formal method. The specification then al...
متن کاملDistributed and Cooperative Compressive Sensing Recovery Algorithm for Wireless Sensor Networks with Bi-directional Incremental Topology
Recently, the problem of compressive sensing (CS) has attracted lots of attention in the area of signal processing. So, much of the research in this field is being carried out in this issue. One of the applications where CS could be used is wireless sensor networks (WSNs). The structure of WSNs consists of many low power wireless sensors. This requires that any improved algorithm for this appli...
متن کامل